Analysis of Boolean variables using formal probability
نویسندگان
چکیده
منابع مشابه
analysis of ruin probability for insurance companies using markov chain
در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...
15 صفحه اولFormal Lifetime Reliability Analysis Using Continuous Random Variables
Reliability has always been an important concern in the design of engineering systems. Recently proposed formal reliability analysis techniques have been able to overcome the accuracy limitations of traditional simulation based techniques but can only handle problems involving discrete random variables. In this paper, we extend the capabilities of existing theorem proving based reliability anal...
متن کاملA Boolean-valued probability theory
New foundations for probability theory are suggested and investigated, derived from the formalized systems theory and using also some other branches of mathematical logic. The probability measures are supposed to take their values not in the unit interval of reals, but in a special kind of Boolean algebras. Some analogies as well as differences of this approach with respect to the classical Kol...
متن کاملOn Boolean factor analysis with formal concepts as factors
The paper presents results on factorization of binary matrices using formal concepts generated from the input matrix. We prove several results, e.g. that each matrix is conceptfactorizable, that concept-factorizability is the best way to factorize binary matrices, describe sets of good factors, mandatory factors, etc. In addition to that, we outline an algorithm for finding factors. The results...
متن کاملThe Formal Consequences of using Variables in CCG Categories
Combinatory Categorial Grammars, CCGs, (Steedman 1985) have been shown by Weir and Joshi (1988) to generate the same class of languages as Tree-Adjoining Grammars (TAG), Head Grammars (HG), and Linear Indexed Grammars (LIG). In this paper, I will discuss the effect of using variables in lexical category assignments in CCGs. It will be shown that using variables in lexical categories can increas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SCIENTIA SINICA Mathematica
سال: 2017
ISSN: 1674-7216
DOI: 10.1360/n012016-00246